node(1).
node(2).
node(3).
node(4).
node(5).
node(6).
node(7).
node(8).
node(9).
node(10).
node(11).
node(12).
node(13).
node(14).
node(15).
node(16).
node(17).
node(18).
node(19).
node(20).
node(21).
node(22).
node(23).
node(24).
node(25).
node(26).
node(27).
node(28).
node(29).
node(30).
node(31).
node(32).
node(33).
node(34).
node(35).
node(36).
node(37).
node(38).
node(39).
node(40).
node(41).
node(42).
node(43).
node(44).
node(45).
node(46).
node(47).
node(48).
node(49).
node(50).
node(51).
node(52).
node(53).
node(54).
node(55).
node(56).
node(57).
node(58).
node(59).
node(60).
node(61).
node(62).
node(63).
node(64).
node(65).
node(66).
node(67).
node(68).
node(69).
node(70).
node(71).
node(72).
node(73).
node(74).
node(75).
node(76).
node(77).
node(78).
node(79).
node(80).
node(81).
node(82).
node(83).
node(84).
node(85).
node(86).
node(87).
node(88).
node(89).
node(90).
node(91).
node(92).
node(93).
node(94).
node(95).
node(96).
node(97).
node(98).
node(99).
node(100).
node(101).
node(102).
node(103).
node(104).
node(105).
node(106).
node(107).
node(108).
node(109).
node(110).
node(111).
node(112).
node(113).
node(114).
node(115).
node(116).
node(117).
node(118).
node(119).
node(120).
node(121).
node(122).
node(123).
node(124).
node(125).
node(126).
node(127).
node(128).
node(129).
node(130).
node(131).
node(132).
node(133).
node(134).
node(135).
node(136).
node(137).
node(138).
node(139).
node(140).
node(141).
node(142).
node(143).
node(144).
node(145).
link(1,6) :- #0.782.
link(6,1) :- #0.232.
link(1,12) :- #0.81.
link(12,1) :- #0.749.
link(1,40) :- #0.996.
link(40,1) :- #0.615.
link(1,48) :- #0.034.
link(48,1) :- #0.048.
link(1,49) :- #0.885.
link(49,1) :- #0.183.
link(1,52) :- #0.052.
link(52,1) :- #0.432.
link(1,59) :- #0.834.
link(59,1) :- #0.322.
link(1,66) :- #0.937.
link(66,1) :- #0.346.
link(1,67) :- #0.825.
link(67,1) :- #0.644.
link(1,102) :- #0.329.
link(102,1) :- #0.335.
link(1,104) :- #0.426.
link(104,1) :- #0.144.
link(1,105) :- #0.036.
link(105,1) :- #0.599.
link(1,106) :- #0.231.
link(106,1) :- #0.473.
link(1,114) :- #0.738.
link(114,1) :- #0.441.
link(1,136) :- #0.71.
link(136,1) :- #0.709.
link(2,17) :- #0.739.
link(17,2) :- #0.17.
link(2,38) :- #0.538.
link(38,2) :- #0.868.
link(2,51) :- #0.218.
link(51,2) :- #0.317.
link(2,53) :- #0.759.
link(53,2) :- #0.637.
link(2,69) :- #0.679.
link(69,2) :- #0.678.
link(2,71) :- #0.071.
link(71,2) :- #0.221.
link(2,86) :- #0.79.
link(86,2) :- #0.678.
link(2,107) :- #0.312.
link(107,2) :- #0.379.
link(2,110) :- #0.552.
link(110,2) :- #0.284.
link(2,123) :- #0.724.
link(123,2) :- #0.591.
link(2,131) :- #0.005.
link(131,2) :- #0.635.
link(2,132) :- #0.966.
link(132,2) :- #0.329.
link(2,144) :- #0.548.
link(144,2) :- #0.195.
link(3,6) :- #0.328.
link(6,3) :- #0.738.
link(3,11) :- #0.381.
link(11,3) :- #0.543.
link(3,12) :- #0.257.
link(12,3) :- #0.978.
link(3,19) :- #0.873.
link(19,3) :- #0.455.
link(3,30) :- #0.818.
link(30,3) :- #0.441.
link(3,31) :- #0.26.
link(31,3) :- #0.124.
link(3,46) :- #0.971.
link(46,3) :- #0.064.
link(3,50) :- #0.655.
link(50,3) :- #0.908.
link(3,54) :- #0.721.
link(54,3) :- #0.805.
link(3,75) :- #0.834.
link(75,3) :- #0.749.
link(3,83) :- #0.011.
link(83,3) :- #0.771.
link(3,98) :- #0.58.
link(98,3) :- #0.127.
link(3,99) :- #0.344.
link(99,3) :- #0.578.
link(3,118) :- #0.044.
link(118,3) :- #0.574.
link(3,127) :- #0.076.
link(127,3) :- #0.783.
link(3,128) :- #0.748.
link(128,3) :- #0.994.
link(3,137) :- #0.256.
link(137,3) :- #0.079.
link(4,6) :- #0.673.
link(6,4) :- #0.484.
link(4,26) :- #0.21.
link(26,4) :- #0.637.
link(4,33) :- #0.579.
link(33,4) :- #0.59.
link(4,49) :- #0.324.
link(49,4) :- #0.178.
link(4,61) :- #0.265.
link(61,4) :- #0.683.
link(4,69) :- #0.015.
link(69,4) :- #0.177.
link(4,72) :- #0.074.
link(72,4) :- #0.
link(4,74) :- #0.598.
link(74,4) :- #0.945.
link(4,108) :- #0.386.
link(108,4) :- #0.098.
link(4,109) :- #0.946.
link(109,4) :- #0.059.
link(4,110) :- #0.374.
link(110,4) :- #0.68.
link(4,117) :- #0.816.
link(117,4) :- #0.97.
link(4,123) :- #0.379.
link(123,4) :- #0.698.
link(4,131) :- #0.633.
link(131,4) :- #0.224.
link(4,144) :- #0.356.
link(144,4) :- #0.044.
link(5,8) :- #0.134.
link(8,5) :- #0.091.
link(5,22) :- #0.989.
link(22,5) :- #0.226.
link(5,23) :- #0.642.
link(23,5) :- #0.945.
link(5,32) :- #0.959.
link(32,5) :- #0.019.
link(5,40) :- #0.008.
link(40,5) :- #0.236.
link(5,43) :- #0.14.
link(43,5) :- #0.832.
link(5,60) :- #0.412.
link(60,5) :- #0.575.
link(5,71) :- #0.017.
link(71,5) :- #0.409.
link(5,75) :- #0.765.
link(75,5) :- #0.348.
link(5,79) :- #0.712.
link(79,5) :- #0.57.
link(5,108) :- #0.363.
link(108,5) :- #0.391.
link(5,116) :- #0.686.
link(116,5) :- #0.05.
link(5,124) :- #0.545.
link(124,5) :- #0.934.
link(5,138) :- #0.372.
link(138,5) :- #0.758.
link(6,15) :- #0.352.
link(15,6) :- #0.019.
link(6,22) :- #0.909.
link(22,6) :- #0.895.
link(6,24) :- #0.744.
link(24,6) :- #0.571.
link(6,42) :- #0.398.
link(42,6) :- #0.75.
link(6,45) :- #0.69.
link(45,6) :- #0.719.
link(6,52) :- #0.992.
link(52,6) :- #0.368.
link(6,63) :- #0.006.
link(63,6) :- #0.853.
link(6,69) :- #0.952.
link(69,6) :- #0.752.
link(6,75) :- #0.93.
link(75,6) :- #0.502.
link(6,80) :- #0.072.
link(80,6) :- #0.561.
link(6,95) :- #0.096.
link(95,6) :- #0.612.
link(6,98) :- #0.443.
link(98,6) :- #0.944.
link(6,99) :- #0.512.
link(99,6) :- #0.396.
link(6,103) :- #0.13.
link(103,6) :- #0.093.
link(6,110) :- #0.719.
link(110,6) :- #0.964.
link(6,115) :- #0.476.
link(115,6) :- #0.306.
link(6,117) :- #0.127.
link(117,6) :- #0.411.
link(6,119) :- #0.294.
link(119,6) :- #0.745.
link(6,121) :- #0.429.
link(121,6) :- #0.649.
link(6,129) :- #0.358.
link(129,6) :- #0.238.
link(6,130) :- #0.359.
link(130,6) :- #0.69.
link(6,145) :- #0.31.
link(145,6) :- #0.313.
link(7,13) :- #0.333.
link(13,7) :- #0.375.
link(7,15) :- #0.305.
link(15,7) :- #0.267.
link(7,19) :- #0.777.
link(19,7) :- #0.113.
link(7,31) :- #0.487.
link(31,7) :- #0.475.
link(7,37) :- #0.185.
link(37,7) :- #0.426.
link(7,56) :- #0.29.
link(56,7) :- #0.885.
link(7,64) :- #0.124.
link(64,7) :- #0.135.
link(7,89) :- #0.877.
link(89,7) :- #0.82.
link(7,90) :- #0.824.
link(90,7) :- #0.54.
link(7,95) :- #0.952.
link(95,7) :- #0.828.
link(7,104) :- #0.698.
link(104,7) :- #0.949.
link(7,123) :- #0.151.
link(123,7) :- #0.667.
link(7,131) :- #0.634.
link(131,7) :- #0.179.
link(7,138) :- #0.082.
link(138,7) :- #0.92.
link(7,139) :- #0.3.
link(139,7) :- #0.183.
link(7,145) :- #0.444.
link(145,7) :- #0.666.
link(8,9) :- #0.859.
link(9,8) :- #0.661.
link(8,12) :- #0.02.
link(12,8) :- #0.933.
link(8,17) :- #0.375.
link(17,8) :- #0.182.
link(8,49) :- #0.443.
link(49,8) :- #0.728.
link(8,71) :- #0.152.
link(71,8) :- #0.277.
link(8,76) :- #0.693.
link(76,8) :- #0.805.
link(8,80) :- #0.095.
link(80,8) :- #0.621.
link(8,93) :- #0.094.
link(93,8) :- #0.284.
link(8,101) :- #0.696.
link(101,8) :- #0.404.
link(8,103) :- #0.138.
link(103,8) :- #0.911.
link(8,125) :- #0.156.
link(125,8) :- #0.598.
link(8,143) :- #0.632.
link(143,8) :- #0.443.
link(9,25) :- #0.6.
link(25,9) :- #0.884.
link(9,26) :- #0.087.
link(26,9) :- #0.073.
link(9,28) :- #0.028.
link(28,9) :- #0.604.
link(9,33) :- #0.076.
link(33,9) :- #0.179.
link(9,39) :- #0.047.
link(39,9) :- #0.371.
link(9,48) :- #0.617.
link(48,9) :- #0.409.
link(9,52) :- #0.217.
link(52,9) :- #0.748.
link(9,54) :- #0.933.
link(54,9) :- #0.282.
link(9,55) :- #0.839.
link(55,9) :- #0.152.
link(9,79) :- #0.89.
link(79,9) :- #0.131.
link(9,93) :- #0.88.
link(93,9) :- #0.41.
link(9,94) :- #0.619.
link(94,9) :- #0.441.
link(9,99) :- #0.577.
link(99,9) :- #0.975.
link(9,104) :- #0.767.
link(104,9) :- #0.941.
link(9,116) :- #0.776.
link(116,9) :- #0.049.
link(9,137) :- #0.029.
link(137,9) :- #0.495.
link(9,140) :- #0.694.
link(140,9) :- #0.752.
link(10,21) :- #0.419.
link(21,10) :- #0.69.
link(10,28) :- #0.109.
link(28,10) :- #0.251.
link(10,41) :- #0.766.
link(41,10) :- #0.584.
link(10,44) :- #0.964.
link(44,10) :- #0.625.
link(10,57) :- #0.096.
link(57,10) :- #0.612.
link(10,64) :- #0.3.
link(64,10) :- #0.209.
link(10,67) :- #0.756.
link(67,10) :- #0.641.
link(10,80) :- #0.905.
link(80,10) :- #0.757.
link(10,89) :- #0.914.
link(89,10) :- #0.494.
link(10,96) :- #0.091.
link(96,10) :- #0.752.
link(10,97) :- #0.376.
link(97,10) :- #0.475.
link(10,123) :- #0.7.
link(123,10) :- #0.391.
link(10,124) :- #0.836.
link(124,10) :- #0.846.
link(10,130) :- #0.684.
link(130,10) :- #0.717.
link(10,134) :- #0.762.
link(134,10) :- #0.408.
link(10,135) :- #0.884.
link(135,10) :- #0.187.
link(10,144) :- #0.042.
link(144,10) :- #0.302.
link(11,21) :- #0.802.
link(21,11) :- #0.935.
link(11,26) :- #0.675.
link(26,11) :- #0.339.
link(11,31) :- #0.057.
link(31,11) :- #0.55.
link(11,43) :- #0.517.
link(43,11) :- #0.166.
link(11,54) :- #0.652.
link(54,11) :- #0.349.
link(11,57) :- #0.126.
link(57,11) :- #0.871.
link(11,62) :- #0.309.
link(62,11) :- #0.725.
link(11,74) :- #0.019.
link(74,11) :- #0.312.
link(11,78) :- #0.803.
link(78,11) :- #0.812.
link(11,91) :- #0.024.
link(91,11) :- #0.107.
link(11,97) :- #0.889.
link(97,11) :- #0.678.
link(11,122) :- #0.527.
link(122,11) :- #0.367.
link(11,128) :- #0.857.
link(128,11) :- #0.931.
link(11,130) :- #0.231.
link(130,11) :- #0.558.
link(11,142) :- #0.867.
link(142,11) :- #0.413.
link(12,16) :- #0.921.
link(16,12) :- #0.46.
link(12,21) :- #0.65.
link(21,12) :- #0.925.
link(12,48) :- #0.771.
link(48,12) :- #0.611.
link(12,58) :- #0.206.
link(58,12) :- #0.199.
link(12,60) :- #0.887.
link(60,12) :- #0.622.
link(12,71) :- #0.428.
link(71,12) :- #0.816.
link(12,73) :- #0.393.
link(73,12) :- #0.955.
link(12,79) :- #0.698.
link(79,12) :- #0.341.
link(12,83) :- #0.026.
link(83,12) :- #0.3.
link(12,98) :- #0.068.
link(98,12) :- #0.453.
link(12,143) :- #0.352.
link(143,12) :- #0.369.
link(13,14) :- #0.682.
link(14,13) :- #0.546.
link(13,35) :- #0.677.
link(35,13) :- #0.363.
link(13,39) :- #0.949.
link(39,13) :- #0.813.
link(13,40) :- #0.031.
link(40,13) :- #0.331.
link(13,50) :- #0.33.
link(50,13) :- #0.636.
link(13,56) :- #0.263.
link(56,13) :- #0.386.
link(13,69) :- #0.54.
link(69,13) :- #0.701.
link(13,77) :- #0.028.
link(77,13) :- #0.975.
link(13,85) :- #0.539.
link(85,13) :- #0.353.
link(13,100) :- #0.839.
link(100,13) :- #0.976.
link(13,107) :- #0.098.
link(107,13) :- #0.53.
link(13,122) :- #0.379.
link(122,13) :- #0.006.
link(14,21) :- #0.176.
link(21,14) :- #0.264.
link(14,22) :- #0.099.
link(22,14) :- #0.377.
link(14,41) :- #0.133.
link(41,14) :- #0.097.
link(14,44) :- #0.902.
link(44,14) :- #0.349.
link(14,53) :- #0.469.
link(53,14) :- #0.322.
link(14,54) :- #0.299.
link(54,14) :- #0.656.
link(14,58) :- #0.457.
link(58,14) :- #0.354.
link(14,66) :- #0.032.
link(66,14) :- #0.447.
link(14,70) :- #0.863.
link(70,14) :- #0.454.
link(14,109) :- #0.449.
link(109,14) :- #0.271.
link(14,116) :- #0.711.
link(116,14) :- #0.03.
link(14,119) :- #0.112.
link(119,14) :- #0.334.
link(14,120) :- #0.522.
link(120,14) :- #0.699.
link(14,123) :- #0.622.
link(123,14) :- #0.962.
link(14,129) :- #0.209.
link(129,14) :- #0.547.
link(15,20) :- #0.824.
link(20,15) :- #0.821.
link(15,26) :- #0.981.
link(26,15) :- #0.753.
link(15,31) :- #0.444.
link(31,15) :- #0.491.
link(15,43) :- #0.869.
link(43,15) :- #0.133.
link(15,57) :- #0.342.
link(57,15) :- #0.418.
link(15,59) :- #0.152.
link(59,15) :- #0.499.
link(15,64) :- #0.657.
link(64,15) :- #0.909.
link(15,81) :- #0.718.
link(81,15) :- #0.175.
link(15,83) :- #0.822.
link(83,15) :- #0.874.
link(15,108) :- #0.015.
link(108,15) :- #0.025.
link(15,127) :- #0.13.
link(127,15) :- #0.742.
link(15,139) :- #0.223.
link(139,15) :- #0.853.
link(15,143) :- #0.052.
link(143,15) :- #0.564.
link(15,144) :- #0.815.
link(144,15) :- #0.892.
link(16,52) :- #0.879.
link(52,16) :- #0.643.
link(16,59) :- #0.238.
link(59,16) :- #0.847.
link(16,61) :- #0.448.
link(61,16) :- #0.284.
link(16,75) :- #0.547.
link(75,16) :- #0.9.
link(16,83) :- #0.437.
link(83,16) :- #0.848.
link(16,90) :- #0.904.
link(90,16) :- #0.412.
link(16,103) :- #0.065.
link(103,16) :- #0.418.
link(16,128) :- #0.829.
link(128,16) :- #0.428.
link(16,139) :- #0.385.
link(139,16) :- #0.039.
link(16,145) :- #0.228.
link(145,16) :- #0.482.
link(17,27) :- #0.007.
link(27,17) :- #0.844.
link(17,37) :- #0.994.
link(37,17) :- #0.487.
link(17,41) :- #0.003.
link(41,17) :- #0.991.
link(17,49) :- #0.382.
link(49,17) :- #0.498.
link(17,60) :- #0.404.
link(60,17) :- #0.385.
link(17,68) :- #0.397.
link(68,17) :- #0.987.
link(17,72) :- #0.742.
link(72,17) :- #0.769.
link(17,76) :- #0.017.
link(76,17) :- #0.58.
link(17,103) :- #0.126.
link(103,17) :- #0.121.
link(17,117) :- #0.465.
link(117,17) :- #0.363.
link(17,124) :- #0.674.
link(124,17) :- #0.061.
link(17,131) :- #0.967.
link(131,17) :- #0.296.
link(18,36) :- #0.536.
link(36,18) :- #0.336.
link(18,40) :- #0.987.
link(40,18) :- #0.631.
link(18,51) :- #0.166.
link(51,18) :- #0.664.
link(18,69) :- #0.807.
link(69,18) :- #0.718.
link(18,73) :- #0.888.
link(73,18) :- #0.466.
link(18,81) :- #0.511.
link(81,18) :- #0.135.
link(18,94) :- #0.769.
link(94,18) :- #0.054.
link(18,96) :- #0.623.
link(96,18) :- #0.694.
link(18,114) :- #0.4.
link(114,18) :- #0.949.
link(18,121) :- #0.469.
link(121,18) :- #0.759.
link(18,123) :- #0.711.
link(123,18) :- #0.439.
link(18,134) :- #0.249.
link(134,18) :- #0.243.
link(18,135) :- #0.674.
link(135,18) :- #0.496.
link(18,138) :- #0.837.
link(138,18) :- #0.108.
link(18,144) :- #0.449.
link(144,18) :- #0.696.
link(19,22) :- #0.933.
link(22,19) :- #0.773.
link(19,48) :- #0.874.
link(48,19) :- #0.935.
link(19,98) :- #0.725.
link(98,19) :- #0.239.
link(19,101) :- #0.453.
link(101,19) :- #0.089.
link(19,106) :- #0.088.
link(106,19) :- #0.393.
link(19,128) :- #0.985.
link(128,19) :- #0.439.
link(19,136) :- #0.269.
link(136,19) :- #0.845.
link(20,21) :- #0.755.
link(21,20) :- #0.759.
link(20,25) :- #0.348.
link(25,20) :- #0.916.
link(20,28) :- #0.584.
link(28,20) :- #0.653.
link(20,32) :- #0.612.
link(32,20) :- #0.398.
link(20,46) :- #0.847.
link(46,20) :- #0.534.
link(20,52) :- #0.602.
link(52,20) :- #0.3.
link(20,60) :- #0.754.
link(60,20) :- #0.959.
link(20,65) :- #0.526.
link(65,20) :- #0.649.
link(20,79) :- #0.161.
link(79,20) :- #0.737.
link(20,95) :- #0.078.
link(95,20) :- #0.148.
link(20,102) :- #0.17.
link(102,20) :- #0.871.
link(20,139) :- #0.491.
link(139,20) :- #0.071.
link(21,30) :- #0.745.
link(30,21) :- #0.32.
link(21,32) :- #0.839.
link(32,21) :- #0.62.
link(21,36) :- #0.936.
link(36,21) :- #0.354.
link(21,39) :- #0.599.
link(39,21) :- #0.261.
link(21,47) :- #0.72.
link(47,21) :- #0.835.
link(21,52) :- #0.224.
link(52,21) :- #0.54.
link(21,59) :- #0.443.
link(59,21) :- #0.675.
link(21,62) :- #0.726.
link(62,21) :- #0.08.
link(21,81) :- #0.756.
link(81,21) :- #0.445.
link(21,88) :- #0.881.
link(88,21) :- #0.747.
link(21,95) :- #0.381.
link(95,21) :- #0.239.
link(21,98) :- #0.796.
link(98,21) :- #0.297.
link(21,99) :- #0.136.
link(99,21) :- #0.462.
link(21,100) :- #0.044.
link(100,21) :- #0.789.
link(21,117) :- #0.046.
link(117,21) :- #0.776.
link(21,120) :- #0.839.
link(120,21) :- #0.83.
link(21,129) :- #0.917.
link(129,21) :- #0.625.
link(21,135) :- #0.618.
link(135,21) :- #0.835.
link(21,137) :- #0.257.
link(137,21) :- #0.107.
link(21,140) :- #0.736.
link(140,21) :- #0.228.
link(22,24) :- #0.336.
link(24,22) :- #0.67.
link(22,33) :- #0.434.
link(33,22) :- #0.311.
link(22,35) :- #0.522.
link(35,22) :- #0.731.
link(22,36) :- #0.238.
link(36,22) :- #0.922.
link(22,65) :- #0.883.
link(65,22) :- #0.576.
link(22,72) :- #0.791.
link(72,22) :- #0.115.
link(22,75) :- #0.56.
link(75,22) :- #0.389.
link(22,85) :- #0.856.
link(85,22) :- #0.91.
link(22,103) :- #0.389.
link(103,22) :- #0.223.
link(22,107) :- #0.008.
link(107,22) :- #0.448.
link(22,131) :- #0.951.
link(131,22) :- #0.815.
link(22,144) :- #0.707.
link(144,22) :- #0.937.
link(23,27) :- #0.09.
link(27,23) :- #0.114.
link(23,76) :- #0.26.
link(76,23) :- #0.207.
link(23,85) :- #0.46.
link(85,23) :- #0.897.
link(23,100) :- #0.239.
link(100,23) :- #0.984.
link(23,107) :- #0.841.
link(107,23) :- #0.245.
link(23,117) :- #0.389.
link(117,23) :- #0.637.
link(23,131) :- #0.521.
link(131,23) :- #0.561.
link(23,133) :- #0.069.
link(133,23) :- #0.816.
link(23,135) :- #0.597.
link(135,23) :- #0.146.
link(24,29) :- #0.774.
link(29,24) :- #0.417.
link(24,32) :- #0.518.
link(32,24) :- #0.774.
link(24,34) :- #0.787.
link(34,24) :- #0.646.
link(24,37) :- #0.802.
link(37,24) :- #0.64.
link(24,46) :- #0.557.
link(46,24) :- #0.643.
link(24,50) :- #0.7.
link(50,24) :- #0.217.
link(24,64) :- #0.713.
link(64,24) :- #0.485.
link(24,74) :- #0.567.
link(74,24) :- #0.871.
link(24,106) :- #0.695.
link(106,24) :- #0.241.
link(24,108) :- #0.038.
link(108,24) :- #0.33.
link(24,115) :- #0.067.
link(115,24) :- #0.604.
link(24,125) :- #0.373.
link(125,24) :- #0.714.
link(24,126) :- #0.395.
link(126,24) :- #0.19.
link(24,133) :- #0.893.
link(133,24) :- #0.626.
link(24,137) :- #0.888.
link(137,24) :- #0.636.
link(25,28) :- #0.588.
link(28,25) :- #0.759.
link(25,29) :- #0.435.
link(29,25) :- #0.533.
link(25,30) :- #0.066.
link(30,25) :- #0.406.
link(25,38) :- #0.37.
link(38,25) :- #0.226.
link(25,40) :- #0.231.
link(40,25) :- #0.705.
link(25,74) :- #0.77.
link(74,25) :- #0.609.
link(25,102) :- #0.739.
link(102,25) :- #0.276.
link(25,103) :- #0.972.
link(103,25) :- #0.83.
link(25,119) :- #0.305.
link(119,25) :- #0.109.
link(25,140) :- #0.598.
link(140,25) :- #0.08.
link(26,29) :- #0.82.
link(29,26) :- #0.117.
link(26,42) :- #0.78.
link(42,26) :- #0.198.
link(26,46) :- #0.474.
link(46,26) :- #0.152.
link(26,49) :- #0.778.
link(49,26) :- #0.328.
link(26,52) :- #0.422.
link(52,26) :- #0.537.
link(26,70) :- #0.114.
link(70,26) :- #0.328.
link(26,76) :- #0.05.
link(76,26) :- #0.276.
link(26,81) :- #0.043.
link(81,26) :- #0.54.
link(26,92) :- #0.56.
link(92,26) :- #0.135.
link(26,98) :- #0.311.
link(98,26) :- #0.191.
link(26,102) :- #0.036.
link(102,26) :- #0.297.
link(26,115) :- #0.012.
link(115,26) :- #0.317.
link(26,119) :- #0.665.
link(119,26) :- #0.326.
link(26,123) :- #0.934.
link(123,26) :- #0.307.
link(26,127) :- #0.448.
link(127,26) :- #0.864.
link(26,129) :- #0.377.
link(129,26) :- #0.982.
link(26,142) :- #0.172.
link(142,26) :- #0.869.
link(26,145) :- #0.405.
link(145,26) :- #0.361.
link(27,29) :- #0.274.
link(29,27) :- #0.963.
link(27,41) :- #0.965.
link(41,27) :- #0.833.
link(27,58) :- #0.287.
link(58,27) :- #0.707.
link(27,60) :- #0.21.
link(60,27) :- #0.382.
link(27,73) :- #0.183.
link(73,27) :- #0.461.
link(27,98) :- #0.615.
link(98,27) :- #0.48.
link(27,104) :- #0.984.
link(104,27) :- #0.177.
link(27,113) :- #0.354.
link(113,27) :- #0.673.
link(27,128) :- #0.544.
link(128,27) :- #0.602.
link(27,138) :- #0.93.
link(138,27) :- #0.054.
link(27,143) :- #0.468.
link(143,27) :- #0.19.
link(27,144) :- #0.733.
link(144,27) :- #0.576.
link(28,29) :- #0.408.
link(29,28) :- #0.728.
link(28,36) :- #0.98.
link(36,28) :- #0.506.
link(28,37) :- #0.582.
link(37,28) :- #0.494.
link(28,45) :- #0.43.
link(45,28) :- #0.382.
link(28,47) :- #0.853.
link(47,28) :- #0.444.
link(28,77) :- #0.02.
link(77,28) :- #0.464.
link(28,95) :- #0.125.
link(95,28) :- #0.718.
link(28,102) :- #0.729.
link(102,28) :- #0.174.
link(28,112) :- #0.479.
link(112,28) :- #0.915.
link(28,116) :- #0.093.
link(116,28) :- #0.075.
link(28,129) :- #0.647.
link(129,28) :- #0.496.
link(29,59) :- #0.792.
link(59,29) :- #0.162.
link(29,60) :- #0.928.
link(60,29) :- #0.953.
link(29,72) :- #0.156.
link(72,29) :- #0.074.
link(29,73) :- #0.027.
link(73,29) :- #0.602.
link(29,82) :- #0.568.
link(82,29) :- #0.094.
link(29,89) :- #0.992.
link(89,29) :- #0.11.
link(29,90) :- #0.047.
link(90,29) :- #0.878.
link(29,118) :- #0.089.
link(118,29) :- #0.686.
link(29,120) :- #0.453.
link(120,29) :- #0.701.
link(29,125) :- #0.267.
link(125,29) :- #0.014.
link(29,131) :- #0.147.
link(131,29) :- #0.83.
link(29,132) :- #0.57.
link(132,29) :- #0.916.
link(29,136) :- #0.638.
link(136,29) :- #0.699.
link(29,144) :- #0.317.
link(144,29) :- #0.797.
link(30,41) :- #0.085.
link(41,30) :- #0.873.
link(30,59) :- #0.984.
link(59,30) :- #0.53.
link(30,60) :- #0.874.
link(60,30) :- #0.781.
link(30,74) :- #0.02.
link(74,30) :- #0.566.
link(30,77) :- #0.221.
link(77,30) :- #0.814.
link(30,83) :- #0.328.
link(83,30) :- #0.094.
link(30,90) :- #0.598.
link(90,30) :- #0.22.
link(30,97) :- #0.088.
link(97,30) :- #0.536.
link(30,105) :- #0.889.
link(105,30) :- #0.049.
link(30,109) :- #0.094.
link(109,30) :- #0.016.
link(30,114) :- #0.971.
link(114,30) :- #0.126.
link(30,126) :- #0.767.
link(126,30) :- #0.597.
link(30,130) :- #0.631.
link(130,30) :- #0.072.
link(30,133) :- #0.79.
link(133,30) :- #0.732.
link(31,38) :- #0.41.
link(38,31) :- #0.17.
link(31,40) :- #0.361.
link(40,31) :- #0.829.
link(31,45) :- #0.704.
link(45,31) :- #0.349.
link(31,62) :- #0.984.
link(62,31) :- #0.772.
link(31,77) :- #0.601.
link(77,31) :- #0.567.
link(31,81) :- #0.545.
link(81,31) :- #0.705.
link(31,84) :- #0.172.
link(84,31) :- #0.178.
link(31,105) :- #0.933.
link(105,31) :- #0.868.
link(31,120) :- #0.848.
link(120,31) :- #0.448.
link(31,132) :- #0.395.
link(132,31) :- #0.489.
link(32,63) :- #0.797.
link(63,32) :- #0.956.
link(32,70) :- #0.016.
link(70,32) :- #0.119.
link(32,87) :- #0.814.
link(87,32) :- #0.296.
link(32,91) :- #0.68.
link(91,32) :- #0.672.
link(32,98) :- #0.759.
link(98,32) :- #0.872.
link(32,130) :- #0.506.
link(130,32) :- #0.217.
link(32,143) :- #0.385.
link(143,32) :- #0.006.
link(33,40) :- #0.254.
link(40,33) :- #0.086.
link(33,48) :- #0.978.
link(48,33) :- #0.437.
link(33,49) :- #0.718.
link(49,33) :- #0.688.
link(33,69) :- #0.426.
link(69,33) :- #0.25.
link(33,77) :- #0.284.
link(77,33) :- #0.734.
link(33,85) :- #0.398.
link(85,33) :- #0.384.
link(33,97) :- #0.185.
link(97,33) :- #0.134.
link(33,100) :- #0.653.
link(100,33) :- #0.268.
link(33,105) :- #0.707.
link(105,33) :- #0.272.
link(33,118) :- #0.184.
link(118,33) :- #0.454.
link(33,128) :- #0.325.
link(128,33) :- #0.478.
link(33,135) :- #0.723.
link(135,33) :- #0.906.
link(33,142) :- #0.472.
link(142,33) :- #0.482.
link(33,145) :- #0.18.
link(145,33) :- #0.269.
link(34,35) :- #0.999.
link(35,34) :- #0.305.
link(34,39) :- #0.899.
link(39,34) :- #0.693.
link(34,48) :- #0.11.
link(48,34) :- #0.069.
link(34,74) :- #0.349.
link(74,34) :- #0.008.
link(34,84) :- #0.487.
link(84,34) :- #0.489.
link(34,113) :- #0.335.
link(113,34) :- #0.037.
link(34,126) :- #0.658.
link(126,34) :- #0.603.
link(34,128) :- #0.161.
link(128,34) :- #0.879.
link(34,143) :- #0.643.
link(143,34) :- #0.416.
link(35,36) :- #0.103.
link(36,35) :- #0.154.
link(35,46) :- #0.247.
link(46,35) :- #0.419.
link(35,52) :- #0.064.
link(52,35) :- #0.46.
link(35,61) :- #0.432.
link(61,35) :- #0.305.
link(35,62) :- #0.579.
link(62,35) :- #0.182.
link(35,112) :- #0.485.
link(112,35) :- #0.893.
link(35,118) :- #0.23.
link(118,35) :- #0.794.
link(35,124) :- #0.613.
link(124,35) :- #0.301.
link(35,128) :- #0.69.
link(128,35) :- #0.028.
link(35,133) :- #0.319.
link(133,35) :- #0.571.
link(35,135) :- #0.752.
link(135,35) :- #0.785.
link(35,139) :- #0.086.
link(139,35) :- #0.252.
link(36,39) :- #0.839.
link(39,36) :- #0.907.
link(36,52) :- #0.244.
link(52,36) :- #0.226.
link(36,94) :- #0.34.
link(94,36) :- #0.824.
link(36,99) :- #0.267.
link(99,36) :- #0.34.
link(36,106) :- #0.019.
link(106,36) :- #0.183.
link(36,111) :- #0.555.
link(111,36) :- #0.13.
link(36,113) :- #0.356.
link(113,36) :- #0.778.
link(36,119) :- #0.943.
link(119,36) :- #0.024.
link(36,120) :- #0.763.
link(120,36) :- #0.107.
link(37,41) :- #0.85.
link(41,37) :- #0.433.
link(37,56) :- #0.712.
link(56,37) :- #0.427.
link(37,57) :- #0.238.
link(57,37) :- #0.085.
link(37,65) :- #0.06.
link(65,37) :- #0.238.
link(37,68) :- #0.138.
link(68,37) :- #0.815.
link(37,84) :- #0.773.
link(84,37) :- #0.207.
link(37,87) :- #0.674.
link(87,37) :- #0.886.
link(37,102) :- #0.345.
link(102,37) :- #0.901.
link(37,106) :- #0.712.
link(106,37) :- #0.278.
link(37,114) :- #0.873.
link(114,37) :- #0.637.
link(37,116) :- #0.83.
link(116,37) :- #0.391.
link(37,124) :- #0.946.
link(124,37) :- #0.787.
link(37,134) :- #0.417.
link(134,37) :- #0.254.
link(38,46) :- #0.523.
link(46,38) :- #0.111.
link(38,64) :- #0.778.
link(64,38) :- #0.849.
link(38,66) :- #0.175.
link(66,38) :- #0.909.
link(38,92) :- #0.077.
link(92,38) :- #0.97.
link(38,110) :- #0.638.
link(110,38) :- #0.86.
link(38,131) :- #0.285.
link(131,38) :- #0.543.
link(38,135) :- #0.321.
link(135,38) :- #0.48.
link(39,44) :- #0.593.
link(44,39) :- #0.39.
link(39,48) :- #0.393.
link(48,39) :- #0.729.
link(39,60) :- #0.763.
link(60,39) :- #0.442.
link(39,84) :- #0.431.
link(84,39) :- #0.923.
link(39,112) :- #0.688.
link(112,39) :- #0.901.
link(39,113) :- #0.413.
link(113,39) :- #0.113.
link(39,135) :- #0.081.
link(135,39) :- #0.137.
link(40,46) :- #0.662.
link(46,40) :- #0.125.
link(40,65) :- #0.358.
link(65,40) :- #0.293.
link(40,67) :- #0.044.
link(67,40) :- #0.779.
link(40,72) :- #0.651.
link(72,40) :- #0.954.
link(40,84) :- #0.387.
link(84,40) :- #0.295.
link(40,93) :- #0.82.
link(93,40) :- #0.562.
link(40,104) :- #0.415.
link(104,40) :- #0.587.
link(40,109) :- #0.646.
link(109,40) :- #0.721.
link(40,120) :- #0.998.
link(120,40) :- #0.222.
link(40,129) :- #0.176.
link(129,40) :- #0.467.
link(41,42) :- #0.815.
link(42,41) :- #0.062.
link(41,44) :- #0.816.
link(44,41) :- #0.28.
link(41,60) :- #0.514.
link(60,41) :- #0.536.
link(41,75) :- #0.049.
link(75,41) :- #0.815.
link(41,82) :- #0.688.
link(82,41) :- #0.6.
link(41,134) :- #0.133.
link(134,41) :- #0.439.
link(41,144) :- #0.709.
link(144,41) :- #0.591.
link(42,53) :- #0.175.
link(53,42) :- #0.951.
link(42,65) :- #0.218.
link(65,42) :- #0.612.
link(42,87) :- #0.416.
link(87,42) :- #0.752.
link(42,94) :- #0.449.
link(94,42) :- #0.943.
link(42,96) :- #0.316.
link(96,42) :- #0.969.
link(42,99) :- #0.008.
link(99,42) :- #0.304.
link(42,120) :- #0.15.
link(120,42) :- #0.201.
link(42,121) :- #0.314.
link(121,42) :- #0.997.
link(42,133) :- #0.849.
link(133,42) :- #0.795.
link(42,142) :- #0.865.
link(142,42) :- #0.86.
link(43,49) :- #0.962.
link(49,43) :- #0.575.
link(43,62) :- #0.41.
link(62,43) :- #0.272.
link(43,85) :- #0.133.
link(85,43) :- #0.352.
link(43,93) :- #0.07.
link(93,43) :- #0.749.
link(43,95) :- #0.597.
link(95,43) :- #0.115.
link(43,99) :- #0.449.
link(99,43) :- #0.946.
link(43,105) :- #0.029.
link(105,43) :- #0.714.
link(43,109) :- #0.798.
link(109,43) :- #0.547.
link(43,140) :- #0.771.
link(140,43) :- #0.762.
link(44,78) :- #0.83.
link(78,44) :- #0.748.
link(44,82) :- #0.001.
link(82,44) :- #0.317.
link(44,83) :- #0.539.
link(83,44) :- #0.128.
link(44,91) :- #0.996.
link(91,44) :- #0.196.
link(44,96) :- #0.433.
link(96,44) :- #0.042.
link(44,107) :- #0.84.
link(107,44) :- #0.995.
link(44,126) :- #0.487.
link(126,44) :- #0.343.
link(44,138) :- #0.326.
link(138,44) :- #0.676.
link(44,140) :- #0.289.
link(140,44) :- #0.942.
link(44,143) :- #0.384.
link(143,44) :- #0.881.
link(44,145) :- #0.85.
link(145,44) :- #0.329.
link(45,53) :- #0.957.
link(53,45) :- #0.597.
link(45,57) :- #0.126.
link(57,45) :- #0.587.
link(45,79) :- #0.579.
link(79,45) :- #0.969.
link(45,88) :- #0.958.
link(88,45) :- #0.408.
link(45,92) :- #0.833.
link(92,45) :- #0.58.
link(45,106) :- #0.013.
link(106,45) :- #0.316.
link(45,110) :- #0.807.
link(110,45) :- #0.426.
link(45,115) :- #0.858.
link(115,45) :- #0.126.
link(45,135) :- #0.687.
link(135,45) :- #0.875.
link(45,139) :- #0.978.
link(139,45) :- #0.314.
link(46,53) :- #0.748.
link(53,46) :- #0.622.
link(46,56) :- #0.809.
link(56,46) :- #0.364.
link(46,65) :- #0.462.
link(65,46) :- #0.808.
link(46,76) :- #0.527.
link(76,46) :- #0.445.
link(46,85) :- #0.922.
link(85,46) :- #0.163.
link(46,95) :- #0.715.
link(95,46) :- #0.604.
link(46,100) :- #0.673.
link(100,46) :- #0.042.
link(46,101) :- #0.463.
link(101,46) :- #0.432.
link(46,107) :- #0.676.
link(107,46) :- #0.15.
link(46,112) :- #0.091.
link(112,46) :- #0.386.
link(46,120) :- #0.071.
link(120,46) :- #0.442.
link(46,128) :- #0.228.
link(128,46) :- #0.224.
link(46,129) :- #0.623.
link(129,46) :- #0.3.
link(46,138) :- #0.565.
link(138,46) :- #0.676.
link(47,56) :- #0.94.
link(56,47) :- #0.403.
link(47,59) :- #0.319.
link(59,47) :- #0.38.
link(47,61) :- #0.447.
link(61,47) :- #0.53.
link(47,64) :- #0.298.
link(64,47) :- #0.418.
link(47,65) :- #0.413.
link(65,47) :- #0.626.
link(47,74) :- #0.953.
link(74,47) :- #0.587.
link(47,77) :- #0.53.
link(77,47) :- #0.1.
link(47,79) :- #0.945.
link(79,47) :- #0.782.
link(47,90) :- #0.53.
link(90,47) :- #0.433.
link(47,97) :- #0.267.
link(97,47) :- #0.949.
link(47,118) :- #0.099.
link(118,47) :- #0.43.
link(47,122) :- #0.945.
link(122,47) :- #0.699.
link(47,126) :- #0.104.
link(126,47) :- #0.889.
link(47,132) :- #0.833.
link(132,47) :- #0.521.
link(47,133) :- #0.443.
link(133,47) :- #0.275.
link(47,141) :- #0.988.
link(141,47) :- #0.124.
link(48,61) :- #0.091.
link(61,48) :- #0.209.
link(48,68) :- #0.133.
link(68,48) :- #0.696.
link(48,72) :- #0.283.
link(72,48) :- #0.009.
link(48,106) :- #0.493.
link(106,48) :- #0.093.
link(48,112) :- #0.873.
link(112,48) :- #0.116.
link(48,123) :- #0.983.
link(123,48) :- #0.407.
link(49,52) :- #0.578.
link(52,49) :- #0.405.
link(49,54) :- #0.801.
link(54,49) :- #0.026.
link(49,55) :- #0.727.
link(55,49) :- #0.135.
link(49,62) :- #0.56.
link(62,49) :- #0.798.
link(49,63) :- #0.853.
link(63,49) :- #0.44.
link(49,65) :- #0.581.
link(65,49) :- #0.952.
link(49,80) :- #0.857.
link(80,49) :- #0.03.
link(49,84) :- #0.836.
link(84,49) :- #0.99.
link(49,109) :- #0.685.
link(109,49) :- #0.328.
link(49,119) :- #0.624.
link(119,49) :- #0.275.
link(49,131) :- #0.493.
link(131,49) :- #0.974.
link(49,132) :- #0.722.
link(132,49) :- #0.756.
link(50,68) :- #0.086.
link(68,50) :- #0.212.
link(50,73) :- #0.826.
link(73,50) :- #0.457.
link(50,96) :- #0.969.
link(96,50) :- #0.34.
link(50,101) :- #0.16.
link(101,50) :- #0.492.
link(50,133) :- #0.366.
link(133,50) :- #0.679.
link(51,62) :- #0.635.
link(62,51) :- #0.536.
link(51,63) :- #0.197.
link(63,51) :- #0.439.
link(51,72) :- #0.726.
link(72,51) :- #0.618.
link(51,79) :- #0.502.
link(79,51) :- #0.527.
link(51,81) :- #0.67.
link(81,51) :- #0.691.
link(51,84) :- #0.595.
link(84,51) :- #0.898.
link(51,100) :- #0.068.
link(100,51) :- #0.664.
link(51,118) :- #0.185.
link(118,51) :- #0.044.
link(51,125) :- #0.527.
link(125,51) :- #0.189.
link(51,126) :- #0.387.
link(126,51) :- #0.844.
link(51,130) :- #0.617.
link(130,51) :- #0.622.
link(51,134) :- #0.469.
link(134,51) :- #0.368.
link(51,138) :- #0.014.
link(138,51) :- #0.893.
link(52,61) :- #0.156.
link(61,52) :- #0.533.
link(52,62) :- #0.577.
link(62,52) :- #0.815.
link(52,64) :- #0.396.
link(64,52) :- #0.392.
link(52,78) :- #0.193.
link(78,52) :- #0.19.
link(52,86) :- #0.671.
link(86,52) :- #0.571.
link(52,102) :- #0.178.
link(102,52) :- #0.429.
link(52,104) :- #0.07.
link(104,52) :- #0.044.
link(52,121) :- #0.623.
link(121,52) :- #0.634.
link(52,123) :- #0.299.
link(123,52) :- #0.407.
link(52,125) :- #0.494.
link(125,52) :- #0.093.
link(52,137) :- #0.37.
link(137,52) :- #0.747.
link(52,139) :- #0.165.
link(139,52) :- #0.798.
link(52,140) :- #0.778.
link(140,52) :- #0.361.
link(53,63) :- #0.936.
link(63,53) :- #0.338.
link(53,69) :- #0.934.
link(69,53) :- #0.28.
link(53,98) :- #0.547.
link(98,53) :- #0.871.
link(53,101) :- #0.721.
link(101,53) :- #0.046.
link(53,114) :- #0.707.
link(114,53) :- #0.563.
link(53,122) :- #0.066.
link(122,53) :- #0.285.
link(53,128) :- #0.639.
link(128,53) :- #0.264.
link(53,131) :- #0.979.
link(131,53) :- #0.674.
link(54,65) :- #0.051.
link(65,54) :- #0.172.
link(54,68) :- #0.978.
link(68,54) :- #0.179.
link(54,89) :- #0.046.
link(89,54) :- #0.112.
link(54,92) :- #0.925.
link(92,54) :- #0.409.
link(54,93) :- #0.167.
link(93,54) :- #0.865.
link(54,110) :- #0.103.
link(110,54) :- #0.29.
link(54,119) :- #0.225.
link(119,54) :- #0.842.
link(54,123) :- #0.79.
link(123,54) :- #0.625.
link(54,139) :- #0.025.
link(139,54) :- #0.713.
link(55,57) :- #0.283.
link(57,55) :- #0.605.
link(55,58) :- #0.747.
link(58,55) :- #0.165.
link(55,64) :- #0.401.
link(64,55) :- #0.636.
link(55,84) :- #0.113.
link(84,55) :- #0.477.
link(55,90) :- #0.295.
link(90,55) :- #0.675.
link(55,99) :- #0.771.
link(99,55) :- #0.703.
link(55,101) :- #0.085.
link(101,55) :- #0.261.
link(55,102) :- #0.399.
link(102,55) :- #0.873.
link(55,114) :- #0.544.
link(114,55) :- #0.818.
link(55,121) :- #0.035.
link(121,55) :- #0.187.
link(55,132) :- #0.015.
link(132,55) :- #0.342.
link(55,139) :- #0.34.
link(139,55) :- #0.886.
link(56,64) :- #0.706.
link(64,56) :- #0.999.
link(56,74) :- #0.877.
link(74,56) :- #0.614.
link(56,82) :- #0.011.
link(82,56) :- #0.165.
link(56,99) :- #0.858.
link(99,56) :- #0.994.
link(56,107) :- #0.82.
link(107,56) :- #0.423.
link(56,109) :- #0.911.
link(109,56) :- #0.01.
link(57,63) :- #0.622.
link(63,57) :- #0.602.
link(57,72) :- #0.568.
link(72,57) :- #0.188.
link(57,80) :- #0.57.
link(80,57) :- #0.171.
link(57,89) :- #0.962.
link(89,57) :- #0.469.
link(57,102) :- #0.369.
link(102,57) :- #0.651.
link(57,119) :- #0.432.
link(119,57) :- #0.942.
link(57,126) :- #0.523.
link(126,57) :- #0.941.
link(57,145) :- #0.798.
link(145,57) :- #0.968.
link(58,62) :- #0.173.
link(62,58) :- #0.983.
link(58,73) :- #0.203.
link(73,58) :- #0.905.
link(58,76) :- #0.659.
link(76,58) :- #0.288.
link(58,82) :- #0.
link(82,58) :- #0.028.
link(58,98) :- #0.327.
link(98,58) :- #0.052.
link(58,101) :- #0.711.
link(101,58) :- #0.911.
link(58,112) :- #0.862.
link(112,58) :- #0.587.
link(58,119) :- #0.044.
link(119,58) :- #0.695.
link(58,133) :- #0.838.
link(133,58) :- #0.277.
link(58,142) :- #0.053.
link(142,58) :- #0.064.
link(59,68) :- #0.919.
link(68,59) :- #0.3.
link(59,69) :- #0.288.
link(69,59) :- #0.453.
link(59,78) :- #0.639.
link(78,59) :- #0.86.
link(59,87) :- #0.254.
link(87,59) :- #0.089.
link(59,96) :- #0.205.
link(96,59) :- #0.053.
link(59,103) :- #0.108.
link(103,59) :- #0.618.
link(59,107) :- #0.908.
link(107,59) :- #0.793.
link(59,109) :- #0.781.
link(109,59) :- #0.803.
link(59,112) :- #0.473.
link(112,59) :- #0.428.
link(59,125) :- #0.856.
link(125,59) :- #0.501.
link(59,132) :- #0.742.
link(132,59) :- #0.713.
link(59,138) :- #0.609.
link(138,59) :- #0.601.
link(59,140) :- #0.047.
link(140,59) :- #0.367.
link(60,79) :- #0.662.
link(79,60) :- #0.111.
link(60,80) :- #0.499.
link(80,60) :- #0.354.
link(60,97) :- #0.168.
link(97,60) :- #0.062.
link(60,114) :- #0.31.
link(114,60) :- #0.549.
link(60,120) :- #0.381.
link(120,60) :- #0.453.
link(60,143) :- #0.387.
link(143,60) :- #0.483.
link(61,68) :- #0.634.
link(68,61) :- #0.383.
link(61,99) :- #0.565.
link(99,61) :- #0.156.
link(61,108) :- #0.098.
link(108,61) :- #0.55.
link(61,130) :- #0.334.
link(130,61) :- #0.362.
link(61,132) :- #0.467.
link(132,61) :- #0.127.
link(61,142) :- #0.243.
link(142,61) :- #0.972.
link(62,68) :- #0.729.
link(68,62) :- #0.151.
link(62,74) :- #0.694.
link(74,62) :- #0.986.
link(62,76) :- #0.033.
link(76,62) :- #0.913.
link(62,99) :- #0.943.
link(99,62) :- #0.864.
link(62,111) :- #0.187.
link(111,62) :- #0.722.
link(62,115) :- #0.114.
link(115,62) :- #0.573.
link(62,128) :- #0.419.
link(128,62) :- #0.073.
link(62,130) :- #0.979.
link(130,62) :- #0.305.
link(62,134) :- #0.475.
link(134,62) :- #0.717.
link(62,136) :- #0.778.
link(136,62) :- #0.036.
link(62,138) :- #0.287.
link(138,62) :- #0.932.
link(62,139) :- #0.952.
link(139,62) :- #0.75.
link(62,145) :- #0.87.
link(145,62) :- #0.319.
link(63,64) :- #0.244.
link(64,63) :- #0.453.
link(63,81) :- #0.704.
link(81,63) :- #0.383.
link(63,82) :- #0.369.
link(82,63) :- #0.351.
link(63,89) :- #0.02.
link(89,63) :- #0.814.
link(63,99) :- #0.344.
link(99,63) :- #0.887.
link(63,101) :- #0.408.
link(101,63) :- #0.596.
link(63,108) :- #0.459.
link(108,63) :- #0.727.
link(64,69) :- #0.417.
link(69,64) :- #0.495.
link(64,82) :- #0.947.
link(82,64) :- #0.247.
link(64,95) :- #0.914.
link(95,64) :- #0.284.
link(64,97) :- #0.179.
link(97,64) :- #0.22.
link(64,119) :- #0.171.
link(119,64) :- #0.552.
link(64,126) :- #0.883.
link(126,64) :- #0.275.
link(65,66) :- #0.182.
link(66,65) :- #0.692.
link(65,68) :- #0.848.
link(68,65) :- #0.369.
link(65,79) :- #0.456.
link(79,65) :- #0.697.
link(65,80) :- #0.031.
link(80,65) :- #0.141.
link(65,101) :- #0.309.
link(101,65) :- #0.582.
link(65,106) :- #0.962.
link(106,65) :- #0.118.
link(65,111) :- #0.294.
link(111,65) :- #0.37.
link(65,115) :- #0.374.
link(115,65) :- #0.602.
link(65,116) :- #0.85.
link(116,65) :- #0.852.
link(65,117) :- #0.554.
link(117,65) :- #0.638.
link(66,67) :- #0.586.
link(67,66) :- #0.258.
link(66,89) :- #0.81.
link(89,66) :- #0.139.
link(66,92) :- #0.945.
link(92,66) :- #0.036.
link(66,98) :- #0.858.
link(98,66) :- #0.473.
link(66,106) :- #0.399.
link(106,66) :- #0.506.
link(66,124) :- #0.644.
link(124,66) :- #0.988.
link(66,130) :- #0.364.
link(130,66) :- #0.904.
link(66,132) :- #0.156.
link(132,66) :- #0.158.
link(67,84) :- #0.595.
link(84,67) :- #0.451.
link(67,85) :- #0.988.
link(85,67) :- #0.55.
link(67,99) :- #0.944.
link(99,67) :- #0.542.
link(67,107) :- #0.418.
link(107,67) :- #0.366.
link(67,110) :- #0.787.
link(110,67) :- #0.898.
link(67,111) :- #0.753.
link(111,67) :- #0.206.
link(67,114) :- #0.691.
link(114,67) :- #0.786.
link(67,123) :- #0.753.
link(123,67) :- #0.098.
link(68,90) :- #0.493.
link(90,68) :- #0.009.
link(68,97) :- #0.478.
link(97,68) :- #0.187.
link(68,102) :- #0.971.
link(102,68) :- #0.688.
link(68,117) :- #0.761.
link(117,68) :- #0.449.
link(68,119) :- #0.093.
link(119,68) :- #0.608.
link(69,71) :- #0.084.
link(71,69) :- #0.76.
link(69,73) :- #0.797.
link(73,69) :- #0.671.
link(69,74) :- #0.56.
link(74,69) :- #0.98.
link(69,82) :- #0.855.
link(82,69) :- #0.3.
link(69,92) :- #0.466.
link(92,69) :- #0.691.
link(69,95) :- #0.228.
link(95,69) :- #0.435.
link(69,107) :- #0.673.
link(107,69) :- #0.789.
link(69,110) :- #0.873.
link(110,69) :- #0.133.
link(69,123) :- #0.003.
link(123,69) :- #0.596.
link(69,125) :- #0.269.
link(125,69) :- #0.223.
link(70,94) :- #0.956.
link(94,70) :- #0.983.
link(70,96) :- #0.229.
link(96,70) :- #0.66.
link(70,113) :- #0.215.
link(113,70) :- #0.574.
link(70,137) :- #0.487.
link(137,70) :- #0.985.
link(71,77) :- #0.457.
link(77,71) :- #0.33.
link(71,84) :- #0.07.
link(84,71) :- #0.177.
link(71,89) :- #0.251.
link(89,71) :- #0.21.
link(71,91) :- #0.73.
link(91,71) :- #0.143.
link(71,105) :- #0.416.
link(105,71) :- #0.556.
link(71,111) :- #0.573.
link(111,71) :- #0.576.
link(71,113) :- #0.388.
link(113,71) :- #0.892.
link(71,114) :- #0.998.
link(114,71) :- #0.101.
link(71,129) :- #0.631.
link(129,71) :- #0.92.
link(71,133) :- #0.985.
link(133,71) :- #0.753.
link(71,137) :- #0.453.
link(137,71) :- #0.155.
link(72,79) :- #0.487.
link(79,72) :- #0.404.
link(72,86) :- #0.053.
link(86,72) :- #0.4.
link(72,110) :- #0.976.
link(110,72) :- #0.726.
link(72,121) :- #0.912.
link(121,72) :- #0.649.
link(72,126) :- #0.294.
link(126,72) :- #0.431.
link(72,136) :- #0.797.
link(136,72) :- #0.088.
link(73,93) :- #0.618.
link(93,73) :- #0.7.
link(73,102) :- #0.4.
link(102,73) :- #0.198.
link(73,107) :- #0.077.
link(107,73) :- #0.852.
link(73,108) :- #0.712.
link(108,73) :- #0.151.
link(73,116) :- #0.142.
link(116,73) :- #0.065.
link(73,129) :- #0.638.
link(129,73) :- #0.332.
link(73,134) :- #0.212.
link(134,73) :- #0.607.
link(73,141) :- #0.27.
link(141,73) :- #0.017.
link(74,101) :- #0.489.
link(101,74) :- #0.97.
link(74,102) :- #0.978.
link(102,74) :- #0.634.
link(74,117) :- #0.644.
link(117,74) :- #0.069.
link(74,131) :- #0.838.
link(131,74) :- #0.314.
link(75,85) :- #0.386.
link(85,75) :- #0.454.
link(75,96) :- #0.341.
link(96,75) :- #0.195.
link(75,97) :- #0.666.
link(97,75) :- #0.164.
link(75,119) :- #0.293.
link(119,75) :- #0.399.
link(75,122) :- #0.293.
link(122,75) :- #0.275.
link(75,123) :- #0.916.
link(123,75) :- #0.51.
link(76,77) :- #0.321.
link(77,76) :- #0.664.
link(76,86) :- #0.564.
link(86,76) :- #0.28.
link(76,95) :- #0.116.
link(95,76) :- #0.545.
link(76,104) :- #0.804.
link(104,76) :- #0.168.
link(76,107) :- #0.994.
link(107,76) :- #0.56.
link(76,109) :- #0.921.
link(109,76) :- #0.119.
link(76,115) :- #0.025.
link(115,76) :- #0.95.
link(76,117) :- #0.724.
link(117,76) :- #0.76.
link(76,126) :- #0.036.
link(126,76) :- #0.409.
link(76,132) :- #0.725.
link(132,76) :- #0.474.
link(76,134) :- #0.052.
link(134,76) :- #0.892.
link(76,135) :- #0.022.
link(135,76) :- #0.539.
link(76,140) :- #0.903.
link(140,76) :- #0.833.
link(77,92) :- #0.918.
link(92,77) :- #0.956.
link(77,94) :- #0.415.
link(94,77) :- #0.12.
link(77,98) :- #0.474.
link(98,77) :- #0.511.
link(77,105) :- #0.434.
link(105,77) :- #0.863.
link(77,127) :- #0.77.
link(127,77) :- #0.965.
link(77,141) :- #0.661.
link(141,77) :- #0.517.
link(77,143) :- #0.792.
link(143,77) :- #0.759.
link(78,81) :- #0.331.
link(81,78) :- #0.68.
link(78,91) :- #0.224.
link(91,78) :- #0.748.
link(78,103) :- #0.798.
link(103,78) :- #0.535.
link(78,105) :- #0.328.
link(105,78) :- #0.06.
link(78,113) :- #0.821.
link(113,78) :- #0.408.
link(78,119) :- #0.76.
link(119,78) :- #0.108.
link(78,126) :- #0.553.
link(126,78) :- #0.403.
link(78,128) :- #0.2.
link(128,78) :- #0.023.
link(78,130) :- #0.782.
link(130,78) :- #0.988.
link(78,138) :- #0.848.
link(138,78) :- #0.701.
link(78,144) :- #0.781.
link(144,78) :- #0.646.
link(79,94) :- #0.935.
link(94,79) :- #0.274.
link(79,96) :- #0.321.
link(96,79) :- #0.86.
link(79,101) :- #0.918.
link(101,79) :- #0.012.
link(79,119) :- #0.824.
link(119,79) :- #0.626.
link(79,123) :- #0.794.
link(123,79) :- #0.494.
link(79,129) :- #0.906.
link(129,79) :- #0.119.
link(79,136) :- #0.26.
link(136,79) :- #0.792.
link(79,137) :- #0.322.
link(137,79) :- #0.796.
link(79,143) :- #0.121.
link(143,79) :- #0.42.
link(79,144) :- #0.663.
link(144,79) :- #0.049.
link(80,81) :- #0.442.
link(81,80) :- #0.924.
link(80,84) :- #0.581.
link(84,80) :- #0.118.
link(80,86) :- #0.437.
link(86,80) :- #0.304.
link(80,88) :- #0.41.
link(88,80) :- #0.46.
link(80,101) :- #0.61.
link(101,80) :- #0.462.
link(80,102) :- #0.078.
link(102,80) :- #0.602.
link(80,131) :- #0.485.
link(131,80) :- #0.679.
link(80,138) :- #0.279.
link(138,80) :- #0.042.
link(80,144) :- #0.533.
link(144,80) :- #0.835.
link(81,84) :- #0.144.
link(84,81) :- #0.266.
link(81,93) :- #0.131.
link(93,81) :- #0.709.
link(81,101) :- #0.578.
link(101,81) :- #0.043.
link(81,104) :- #0.362.
link(104,81) :- #0.025.
link(81,126) :- #0.137.
link(126,81) :- #0.891.
link(81,131) :- #0.823.
link(131,81) :- #0.85.
link(81,137) :- #0.636.
link(137,81) :- #0.916.
link(82,96) :- #0.84.
link(96,82) :- #0.873.
link(82,120) :- #0.657.
link(120,82) :- #0.829.
link(82,121) :- #0.32.
link(121,82) :- #0.021.
link(82,131) :- #0.959.
link(131,82) :- #0.258.
link(83,97) :- #0.17.
link(97,83) :- #0.503.
link(83,124) :- #0.506.
link(124,83) :- #0.781.
link(83,126) :- #0.508.
link(126,83) :- #0.987.
link(83,144) :- #0.977.
link(144,83) :- #0.237.
link(84,87) :- #0.79.
link(87,84) :- #0.307.
link(84,108) :- #0.095.
link(108,84) :- #0.892.
link(84,112) :- #0.447.
link(112,84) :- #0.21.
link(84,115) :- #0.015.
link(115,84) :- #0.956.
link(84,125) :- #0.092.
link(125,84) :- #0.807.
link(84,131) :- #0.96.
link(131,84) :- #0.748.
link(84,132) :- #0.222.
link(132,84) :- #0.987.
link(84,134) :- #0.902.
link(134,84) :- #0.661.
link(84,138) :- #0.507.
link(138,84) :- #0.216.
link(85,91) :- #0.919.
link(91,85) :- #0.83.
link(85,92) :- #0.779.
link(92,85) :- #0.292.
link(85,93) :- #0.803.
link(93,85) :- #0.462.
link(85,97) :- #0.442.
link(97,85) :- #0.482.
link(85,99) :- #0.109.
link(99,85) :- #0.796.
link(85,101) :- #0.698.
link(101,85) :- #0.381.
link(85,104) :- #0.456.
link(104,85) :- #0.313.
link(85,109) :- #0.264.
link(109,85) :- #0.154.
link(85,118) :- #0.85.
link(118,85) :- #0.508.
link(85,121) :- #0.775.
link(121,85) :- #0.887.
link(85,123) :- #0.957.
link(123,85) :- #0.293.
link(85,128) :- #0.907.
link(128,85) :- #0.43.
link(85,137) :- #0.817.
link(137,85) :- #0.056.
link(85,141) :- #0.344.
link(141,85) :- #0.813.
link(86,109) :- #0.66.
link(109,86) :- #0.857.
link(86,119) :- #0.702.
link(119,86) :- #0.366.
link(86,125) :- #0.504.
link(125,86) :- #0.187.
link(86,145) :- #0.517.
link(145,86) :- #0.575.
link(87,90) :- #0.551.
link(90,87) :- #0.621.
link(87,92) :- #0.719.
link(92,87) :- #0.322.
link(87,115) :- #0.309.
link(115,87) :- #0.422.
link(87,140) :- #0.914.
link(140,87) :- #0.992.
link(88,90) :- #0.651.
link(90,88) :- #0.411.
link(88,94) :- #0.24.
link(94,88) :- #0.377.
link(88,103) :- #0.891.
link(103,88) :- #0.855.
link(88,120) :- #0.964.
link(120,88) :- #0.93.
link(88,142) :- #0.633.
link(142,88) :- #0.751.
link(88,144) :- #0.991.
link(144,88) :- #0.632.
link(89,102) :- #0.612.
link(102,89) :- #0.079.
link(89,104) :- #0.611.
link(104,89) :- #0.095.
link(89,122) :- #0.863.
link(122,89) :- #0.729.
link(89,128) :- #0.412.
link(128,89) :- #0.019.
link(89,140) :- #0.998.
link(140,89) :- #0.964.
link(90,96) :- #0.061.
link(96,90) :- #0.362.
link(90,105) :- #0.469.
link(105,90) :- #0.16.
link(90,116) :- #0.539.
link(116,90) :- #0.487.
link(90,118) :- #0.152.
link(118,90) :- #0.001.
link(90,123) :- #0.266.
link(123,90) :- #0.884.
link(90,127) :- #0.926.
link(127,90) :- #0.297.
link(91,105) :- #0.069.
link(105,91) :- #0.212.
link(91,106) :- #0.946.
link(106,91) :- #0.788.
link(91,119) :- #0.967.
link(119,91) :- #0.14.
link(91,129) :- #0.824.
link(129,91) :- #0.886.
link(91,135) :- #0.767.
link(135,91) :- #0.77.
link(91,136) :- #0.666.
link(136,91) :- #0.786.
link(92,117) :- #0.489.
link(117,92) :- #0.049.
link(92,132) :- #0.2.
link(132,92) :- #0.262.
link(92,133) :- #0.666.
link(133,92) :- #0.067.
link(92,145) :- #0.481.
link(145,92) :- #0.88.
link(93,100) :- #0.916.
link(100,93) :- #0.232.
link(93,110) :- #0.8.
link(110,93) :- #0.283.
link(93,113) :- #0.465.
link(113,93) :- #0.175.
link(93,120) :- #0.755.
link(120,93) :- #0.417.
link(93,124) :- #0.943.
link(124,93) :- #0.517.
link(93,128) :- #0.135.
link(128,93) :- #0.351.
link(93,137) :- #0.078.
link(137,93) :- #0.125.
link(93,143) :- #0.751.
link(143,93) :- #0.346.
link(95,96) :- #0.494.
link(96,95) :- #0.839.
link(95,110) :- #0.062.
link(110,95) :- #0.457.
link(95,118) :- #0.58.
link(118,95) :- #0.149.
link(95,119) :- #0.709.
link(119,95) :- #0.792.
link(95,122) :- #0.12.
link(122,95) :- #0.734.
link(95,127) :- #0.859.
link(127,95) :- #0.19.
link(95,138) :- #0.664.
link(138,95) :- #0.801.
link(96,99) :- #0.646.
link(99,96) :- #0.912.
link(96,115) :- #0.337.
link(115,96) :- #0.745.
link(96,119) :- #0.476.
link(119,96) :- #0.886.
link(96,121) :- #0.304.
link(121,96) :- #0.915.
link(96,131) :- #0.468.
link(131,96) :- #0.137.
link(96,144) :- #0.283.
link(144,96) :- #0.186.
link(97,107) :- #0.7.
link(107,97) :- #0.682.
link(97,140) :- #0.528.
link(140,97) :- #0.345.
link(98,100) :- #0.154.
link(100,98) :- #0.009.
link(98,115) :- #0.53.
link(115,98) :- #0.877.
link(98,132) :- #0.481.
link(132,98) :- #0.031.
link(98,141) :- #0.065.
link(141,98) :- #0.017.
link(98,144) :- #0.825.
link(144,98) :- #0.623.
link(99,106) :- #0.447.
link(106,99) :- #0.651.
link(99,108) :- #0.544.
link(108,99) :- #0.362.
link(99,115) :- #0.191.
link(115,99) :- #0.894.
link(99,132) :- #0.503.
link(132,99) :- #0.338.
link(99,138) :- #0.219.
link(138,99) :- #0.685.
link(99,144) :- #0.73.
link(144,99) :- #0.97.
link(100,110) :- #0.239.
link(110,100) :- #0.078.
link(100,120) :- #0.237.
link(120,100) :- #0.817.
link(100,124) :- #0.57.
link(124,100) :- #0.931.
link(100,129) :- #0.209.
link(129,100) :- #0.872.
link(100,130) :- #0.123.
link(130,100) :- #0.425.
link(100,142) :- #0.048.
link(142,100) :- #0.653.
link(101,113) :- #0.214.
link(113,101) :- #0.239.
link(101,114) :- #0.812.
link(114,101) :- #0.33.
link(101,115) :- #0.682.
link(115,101) :- #0.716.
link(101,126) :- #0.861.
link(126,101) :- #0.788.
link(101,139) :- #0.32.
link(139,101) :- #0.086.
link(102,126) :- #0.276.
link(126,102) :- #0.989.
link(102,130) :- #0.847.
link(130,102) :- #0.674.
link(102,132) :- #0.166.
link(132,102) :- #0.72.
link(102,137) :- #0.591.
link(137,102) :- #0.155.
link(102,139) :- #0.097.
link(139,102) :- #0.063.
link(103,120) :- #0.396.
link(120,103) :- #0.799.
link(103,144) :- #0.674.
link(144,103) :- #0.976.
link(104,114) :- #0.085.
link(114,104) :- #0.411.
link(104,133) :- #0.03.
link(133,104) :- #0.845.
link(104,142) :- #0.573.
link(142,104) :- #0.346.
link(105,108) :- #0.632.
link(108,105) :- #0.689.
link(105,110) :- #0.579.
link(110,105) :- #0.745.
link(105,131) :- #0.016.
link(131,105) :- #0.846.
link(105,134) :- #0.93.
link(134,105) :- #0.496.
link(105,138) :- #0.789.
link(138,105) :- #0.179.
link(106,124) :- #0.104.
link(124,106) :- #0.659.
link(106,126) :- #0.456.
link(126,106) :- #0.267.
link(106,131) :- #0.565.
link(131,106) :- #0.176.
link(106,145) :- #0.219.
link(145,106) :- #0.334.
link(107,117) :- #0.231.
link(117,107) :- #0.009.
link(107,120) :- #0.31.
link(120,107) :- #0.14.
link(107,121) :- #0.331.
link(121,107) :- #0.803.
link(107,128) :- #0.338.
link(128,107) :- #0.235.
link(108,112) :- #0.88.
link(112,108) :- #0.268.
link(108,117) :- #0.451.
link(117,108) :- #0.377.
link(108,130) :- #0.704.
link(130,108) :- #0.654.
link(108,133) :- #0.509.
link(133,108) :- #0.902.
link(108,137) :- #0.664.
link(137,108) :- #0.351.
link(109,114) :- #0.069.
link(114,109) :- #0.198.
link(109,137) :- #0.739.
link(137,109) :- #0.486.
link(109,142) :- #0.525.
link(142,109) :- #0.276.
link(110,118) :- #0.257.
link(118,110) :- #0.602.
link(110,119) :- #0.696.
link(119,110) :- #0.884.
link(110,123) :- #0.941.
link(123,110) :- #0.488.
link(110,129) :- #0.163.
link(129,110) :- #0.532.
link(110,137) :- #0.887.
link(137,110) :- #0.147.
link(111,126) :- #0.593.
link(126,111) :- #0.55.
link(111,143) :- #0.948.
link(143,111) :- #0.646.
link(111,144) :- #0.72.
link(144,111) :- #0.62.
link(112,117) :- #0.803.
link(117,112) :- #0.445.
link(113,118) :- #0.835.
link(118,113) :- #0.716.
link(113,123) :- #0.62.
link(123,113) :- #0.124.
link(113,133) :- #0.114.
link(133,113) :- #0.471.
link(114,123) :- #0.476.
link(123,114) :- #0.549.
link(114,143) :- #0.39.
link(143,114) :- #0.753.
link(115,140) :- #0.531.
link(140,115) :- #0.326.
link(116,118) :- #0.704.
link(118,116) :- #0.677.
link(116,142) :- #0.412.
link(142,116) :- #0.264.
link(118,130) :- #0.926.
link(130,118) :- #0.899.
link(118,131) :- #0.853.
link(131,118) :- #0.872.
link(118,138) :- #0.453.
link(138,118) :- #0.557.
link(119,127) :- #0.623.
link(127,119) :- #0.143.
link(119,129) :- #0.85.
link(129,119) :- #0.446.
link(119,130) :- #0.338.
link(130,119) :- #0.869.
link(119,144) :- #0.433.
link(144,119) :- #0.442.
link(119,145) :- #0.248.
link(145,119) :- #0.991.
link(120,124) :- #0.296.
link(124,120) :- #0.852.
link(120,136) :- #0.419.
link(136,120) :- #0.475.
link(120,137) :- #0.972.
link(137,120) :- #0.693.
link(120,141) :- #0.329.
link(141,120) :- #0.359.
link(120,143) :- #0.408.
link(143,120) :- #0.99.
link(121,131) :- #0.468.
link(131,121) :- #0.963.
link(121,135) :- #0.92.
link(135,121) :- #0.441.
link(121,138) :- #0.44.
link(138,121) :- #0.329.
link(121,142) :- #0.266.
link(142,121) :- #0.505.
link(122,129) :- #0.891.
link(129,122) :- #0.178.
link(122,134) :- #0.611.
link(134,122) :- #0.288.
link(122,142) :- #0.762.
link(142,122) :- #0.731.
link(122,145) :- #0.239.
link(145,122) :- #0.222.
link(123,128) :- #0.045.
link(128,123) :- #0.556.
link(123,140) :- #0.119.
link(140,123) :- #0.226.
link(123,143) :- #0.161.
link(143,123) :- #0.83.
link(124,138) :- #0.392.
link(138,124) :- #0.897.
link(124,141) :- #0.95.
link(141,124) :- #0.606.
link(126,137) :- #0.296.
link(137,126) :- #0.882.
link(127,131) :- #0.037.
link(131,127) :- #0.426.
link(128,135) :- #0.783.
link(135,128) :- #0.129.
link(128,138) :- #0.364.
link(138,128) :- #0.102.
link(129,141) :- #0.909.
link(141,129) :- #0.745.
link(130,137) :- #0.002.
link(137,130) :- #0.264.
link(130,139) :- #0.167.
link(139,130) :- #0.169.
link(131,138) :- #0.083.
link(138,131) :- #0.039.
link(132,134) :- #0.915.
link(134,132) :- #0.434.
link(132,144) :- #0.958.
link(144,132) :- #0.631.
link(133,139) :- #0.657.
link(139,133) :- #0.448.
link(133,141) :- #0.261.
link(141,133) :- #0.804.
link(133,142) :- #0.547.
link(142,133) :- #0.224.
link(133,144) :- #0.764.
link(144,133) :- #0.008.
link(134,135) :- #0.344.
link(135,134) :- #0.108.
link(135,138) :- #0.136.
link(138,135) :- #0.872.
link(135,141) :- #0.403.
link(141,135) :- #0.981.
link(135,145) :- #0.473.
link(145,135) :- #0.709.
link(136,141) :- #0.76.
link(141,136) :- #0.506.
link(137,138) :- #0.778.
link(138,137) :- #0.82.
link(137,140) :- #0.202.
link(140,137) :- #0.362.
link(138,140) :- #0.087.
link(140,138) :- #0.489.
link(139,143) :- #0.325.
link(143,139) :- #0.653.
link(139,144) :- #0.421.
link(144,139) :- #0.354.
colour(red0).
colour(green0).
colour(blue0).
colour(yellow0).
colour(cyan0).
